Home » Fiche   membre

Didier LIME

ENSEIGNANT-CHERCHEUR

HDR

: Didier.Limeatls2n.fr

Page pro : http://pagesperso.ls2n.fr/~lime-d/

Adresse :

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 516


Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] A. Jovanovic, D. Lime, O. Roux. Control of Real-Time Systems With Integer Parameters. In IEEE Transactions on Automatic Control ; éd. Institute of Electrical and Electronics Engineers, 2022, vol. 67, num. 1.
      https://hal.science/hal-03561476v1
    • [2] Ã. André, D. Lime, O. Roux. Reachability and liveness in parametric timed automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2022, vol. 18, num. 1.
      https://hal.science/hal-03574379v1
    • [3] J. Béchennec, D. Lime, O. Roux. Logical time control of concurrent DES. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2021.
      https://hal.science/hal-03103458v1
    • [4] Ã. André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2021, vol. 17, num. 2.
      https://hal.science/hal-03340905v1
    • [5] Ã. André, D. Lime, M. Ramparison, M. Stoelinga. Parametric Analyses of Attack-fault Trees. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2021, vol. 182, num. 1.
      https://hal.science/hal-03483440v1
    • [6] D. Lime, C. Seidner, O. Roux. Cost Problems for Parametric Time Petri Nets. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2021.
      https://hal.science/hal-03561426v1
    • [7] Ã. André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2020, vol. 16, num. 1.
      https://hal.science/hal-02498022v1
    • [8] E. André, M. Knapik, D. Lime, W. Penczek, L. Petrucci. Parametric Verification: An Introduction. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2019.
      https://hal.science/hal-03544041v1
    • [9] Ã. André, M. Knapik, D. Lime, W. Penczek, L. Petrucci. Parametric Verification: An Introduction. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2019.
      https://hal.science/hal-02170526v1
    • [10] L. Petrucci, M. Knapik, E. Andre, W. Jamroga, W. Penczek. Timed ATL: Forget Memory, Just Count. In Journal of Artificial Intelligence Research ; éd. Association for the Advancement of Artificial Intelligence, 2019, vol. 66.
      https://hal.science/hal-03544030v1
    • [11] A. Jovanović, D. Lime, O. Roux. A game approach to the parametric control of real-time systems. In International Journal of Control ; éd. Taylor & Francis, 2018.
      https://hal.science/hal-02010912v1
    • [12] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.science/hal-01917092v1
    • [13] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.
      https://inria.hal.science/hal-01340318v1
    • [14] B. Bérard, S. Haddad, A. Jovanović, D. Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2016, vol. 143, num. 3-4.
      https://hal.sorbonne-universite.fr/hal-01300505v1
    • [15] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Real-Time Systems. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2015, vol. 41, num. 5.
      https://hal.science/hal-02939617v1
    • [16] C. Jard, D. Lime, O. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2014, vol. 129, num. 1-2.
      https://hal.science/hal-00940970v1
    • [17] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. The Expressive Power of Time Petri Nets. In Theoretical Computer Science ; éd. Elsevier, 2013, vol. 474.
      https://hal.science/hal-00925765v1
    • [18] C. Jard, D. Lime, O. Roux, L. Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In Formal Methods in System Design ; éd. Springer Verlag, 2013, vol. 43, num. 3.
      https://hal.science/hal-00840368v1
    • [19] D. Lime, C. Martinez, O. Roux. Shrinking of time Petri nets. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2013, vol. 23, num. 4.
      https://hal.science/hal-00940944v1
    • [20] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In International Journal of Foundations of Computer Science ; éd. World Scientific Publishing, 2012, vol. 23, num. 6.
      https://hal.science/hal-01161869v1
    • [21] L. Traonouez, D. Lime, O. Roux. Parametric Model-Checking of Stopwatch Petri Nets. In Journal of Universal Computer Science ; éd. Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, vol. 15, num. 17.
      https://hal.science/hal-00489033v1
    • [22] D. Lime, O. Roux. Formal Verification of Real-time Systems with Preemptive Scheduling. In Real-Time Systems ; éd. Springer Verlag, 2009, vol. 2, num. 41.
      https://hal.science/hal-00453476v1
    • [23] B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. In Theoretical Computer Science ; éd. Elsevier, 2008, vol. 403, num. 2--3.
      https://inria.hal.science/inria-00363024v1
    • [24] B. Berthomieu, D. Lime, O. Roux, F. Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2007, vol. 17, num. 2.
      https://hal.science/hal-00489016v1
    • [25] J. Ahmad, G. Bernot, J. Comet, D. Lime, O. Roux. Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. In Complexus ; éd. Karger, 2006, vol. 3, num. 4.
      https://hal.science/hal-00415810v1
    • [26] D. Lime, O. Roux. Model checking of Time Petri Nets using the State Class Timed Automaton. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2006, vol. 16, num. 2.
      https://hal.science/hal-00488957v1

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [27] L. Leclercq, D. Lime, O. Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. In 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), juin 2023, Caparica, Lisbon, Portugal.
      https://hal.science/hal-04312254v1
    • [28] A. Spriet, D. Lime, O. Roux. Timed Non-interference Under Partial Observability and Bounded Memory. In 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), septembre 2023, Antwerp, Belgique.
      https://hal.science/hal-04312271v1
    • [29] A. Spriet, D. Lime, O. Roux. Non-interference temporisée avec observation partielle et mémoire bornée. In Modélisation des Systèmes Réactifs (MSR'23), novembre 2023, Toulouse, France.
      https://hal.science/hal-04465311v1
    • [30] L. Leclercq, D. Lime, R. Olivier H.. Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états. In Modélisation des Systèmes Réactifs (MSR'23), novembre 2023, Toulouse, France.
      https://hal.science/hal-04465232v1
    • [31] L. Jezequel, D. Lime, B. Sérée. A Lazy Query Scheme for Reachability Analysis in Petri Nets. In International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03561703v1
    • [32] S. Haddad, D. Lime, O. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03561748v1
    • [33] B. Sérée, L. Jezequel, D. Lime. An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. In Language and Automata Theory and Applications, septembre 2021, Milan, Italie.
      https://hal.science/hal-03561972v1
    • [34] A. Quillet, A. Queudet, D. Lime. Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. In International Conference on Real-Time Networks and Systems (RTNS’20), juin 2020, Paris, France.
      https://hal.science/hal-02566657v1
    • [35] R. Parrot, D. Lime. Backward Symbolic Optimal Reachability in Weighted Timed Automata. In 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), septembre 2020, Vienna, Autriche.
      https://hal.science/hal-02939596v1
    • [36] Ã. André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
      https://hal.science/hal-01961497v1
    • [37] D. Lime, O. Roux, C. Seidner. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. In 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02565091v1
    • [38] J. Béchennec, D. Lime, O. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02415301v1
    • [39] Ã. André, D. Lime, M. Ramparison, M. Stoelinga. Parametric analyses of attack-fault trees. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02153316v1
    • [40] Ã. André, D. Lime, M. Ramparison. On the expressive power of invariants in parametric timed automata. In 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), novembre 2019, Hong Kong, Chine.
      https://hal.science/hal-02267883v1
    • [41] J. Béchennec, D. Lime, O. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.science/hal-02432148v2
    • [42] R. Bao, C. Attiogbe, P. Fournier, D. Lime. Model checking paramétrique statistique du plan de vol de drone civil. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.science/hal-02432687v1
    • [43] H. Coullon, C. Jard, D. Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In IFM 2019 : 15th International Conference on integrated Formal Methods, décembre 2019, Bergen, Norvège.
      https://hal.science/hal-02323641v1
    • [44] R. Bao, C. Attiogbe, B. Delahaye, P. Fournier, D. Lime. Parametric Statistical Model Checking of UAV Flight Plan. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
      https://inria.hal.science/hal-02313737v1
    • [45] Ã. André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
      https://hal.science/hal-02153238v1
    • [46] H. Boucheneb, D. Lime, O. Roux, C. Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.science/hal-01957173v1
    • [47] Ã. André, D. Lime, M. Ramparison. Timed Automata with Parametric Updates. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.science/hal-01957157v1
    • [48] E. André, D. Lime, M. Ramparison. TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. In 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), septembre 2018, Beijing, Chine.
      https://hal.science/hal-01957138v1
    • [49] Ã. André, D. Lime. Liveness in L/U-Parametric Timed Automatá. In 17th International Conference on Application of Concurrency to System Design (ACSD 2017), juin 2017, Zaragoza, Espagne.
      https://hal.science/hal-01724293v1
    • [50] H. Boucheneb, D. Lime, B. Parquier, C. Seidner, O. Roux. Optimal Reachability in Cost Time Petri Nets. In 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), septembre 2017, Berlin, Allemagne.
      https://hal.science/hal-01724290v1
    • [51] N. David, C. Jard, D. Lime, O. Roux. Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017), septembre 2017, Berlin, Allemagne.
      https://hal.science/hal-01724302v1
    • [52] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.science/hal-01591036v1
    • [53] L. Jezequel, D. Lime. Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata. In 15th International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2017, Berlin, Allemagne.
      https://hal.science/hal-01699301v1
    • [54] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
      https://hal.science/hal-01590884v1
    • [55] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
      https://hal.science/hal-01590900v1
    • [56] Ã. André, D. Lime, O. Roux. On the Expressiveness of Parametric Timed Automata. In 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), août 2016, Québec, Canada.
      https://hal.science/hal-02538061v1
    • [57] L. Jezequel, D. Lime. Lazy Reachability Analysis in Distributed Systems. In 27th International Conference on Concurrency Theory (CONCUR 2016), août 2016, Québec, Canada.
      https://hal.science/hal-01699311v1
    • [58] B. Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, Ã. André. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. In 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), novembre 2016, Tokyo, Japon.
      https://hal.science/hal-02538041v1
    • [59] Ã. André, D. Lime, O. Roux. Decision Problems for Parametric Timed Automata. In 18th International Conference on Formal Engineering Methods (ICFEM 2016), novembre 2016, Tokyo, Japon.
      https://hal.science/hal-02538055v1
    • [60] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. The EPOC project: Energy Proportional and Opportunistic Computing system. In International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), mai 2015, Lisbonne, Portugal.
      https://hal.science/hal-01131602v1
    • [61] Ã. André, D. Lime, O. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In 9th International Conference on Reachability Problems (RP 2015), septembre 2015, Warsaw, Pologne.
      https://hal.science/hal-02939637v1
    • [62] N. David, C. Jard, D. Lime, O. Roux. Discrete Parameters in Petri Nets. In Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, juin 2015, Bruxelles, Belgique.In Raymond Devillers (éds.), . Springer International Publishing, 2015.
      https://hal.science/hal-01222021v1
    • [63] S. Akshay, L. Helouet, C. Jard, D. Lime, O. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, septembre 2013, Warwik, Royaume-Uni.In Marcin Jurdzinski and Dejan Nickovic (éds.), . Springer, 2013.
      https://inria.hal.science/hal-00879818v1
    • [64] B. Bérard, S. Haddad, A. Jovanovic, D. Lime. Parametric Interrupt Timed Automata. In 7th Workshop on Reachability Problems in Computational Models (RP'13), septembre 2013, Uppsala, Suède.In Parosh Aziz Abdulla (éds.), . Springer Berlin Heidelberg, 2013.
      https://hal.science/hal-00936961v1
    • [65] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Timed Automata. In 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, mars 2013, Rome, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7795.
      https://hal.science/hal-00941007v1
    • [66] H. Boucheneb, D. Lime, O. Roux. On Multi-enabledness in Time Petri Nets. In 34th International Conference on Application and Theory of Petri Nets and Concurrency - , PETRI NETS 2013, juin 2013, Milan, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7927.
      https://hal.science/hal-00940994v1
    • [67] A. Jovanovic, D. Lime, O. Roux. Synthesis of bounded integer parameters for parametric timed reachability games. In Symposium on Automated Technology for Verification and Analysis (ATVA 2013), octobre 2013, Hanoi, Viêt Nam.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 8172.
      https://hal.science/hal-00940988v1
    • [68] A. Jovanovic, S. Faucou, D. Lime, O. Roux. Real-Time Control with Parametric Timed Reachability Games. In 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.
      https://hal.science/hal-00753689v1
    • [69] Y. Thierry-Mieg, B. Bérard, F. Kordon, D. Lime, O. Roux. {Compositional Analysis of Discrete Time Petri nets}. In 1st workshop on Petri Nets Compositions (CompoNet 2011), juin 2011, Newcastle, Royaume-Uni.
      https://hal.science/hal-01282489v1
    • [70] G. Benattar, B. Berard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In AFL 2011 - 13th International Conference on Automata and Formal Languages, août 2011, Debrecen, Hongrie.In Pál Dömösi and Szabolcs Iván (éds.), . , 2011.
      https://hal.science/hal-01223260v1
    • [71] B. Grabiec, L. Traonouez, C. Jard, D. Lime, O. Roux. Diagnosis using unfoldings of parametric time Petri nets. In 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), septembre 2010, Vienna, Autriche.
      https://hal.science/hal-00523597v1
    • [72] L. Traonouez, B. Grabiec, C. Jard, D. Lime, O. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), septembre 2010, Singapore, Singapour.
      https://hal.science/hal-00523593v1
    • [73] G. Benattar, F. Cassez, D. Lime, O. Roux. Synthesis of Non-Interferent Timed Systems. In Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), avril 2009, Budapest, Hungary, Hongrie.
      https://inria.hal.science/inria-00493636v1
    • [74] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Covert Channels with Transducers. In The LICS Workshop on Foundations of Computer Security (FCS'09), juillet 2009, Los Angeles, California, états-Unis.
      https://hal.science/hal-01298270v1
    • [75] L. Traonouez, D. Lime, O. Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France.
      https://hal.science/hal-00523613v1
    • [76] M. Magnin, D. Lime, O. Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics. In The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, Chine.
      https://hal.science/hal-00523612v1
    • [77] F. Cassez, A. David, K. Larsen, D. Lime, J. Raskin. Timed control with observation based and stuttering invariant strategies.. In 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), octobre 2007, Tokyo, Japon.
      https://hal.science/hal-00218336v1
    • [78] F. Cassez, A. David, K. Larsen, D. Lime, J. Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies. In 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), octobre 2007, Tokyo, Japon.
      https://inria.hal.science/inria-00363028v1
    • [79] G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, D. Lime. UPPAAL-Tiga: Time for Playing Games!. In 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Allemagne.In W. Damm, H. Hermanns (éds.), Computer Aided Verification. Springer, 2007.
      https://hal.science/hal-00350466v1
    • [80] G. Gardey, D. Lime, M. Magnin, O. Roux. Romeo: A Tool for Analyzing time Petri nets. In 17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.science/hal-00523596v1
    • [81] M. Magnin, D. Lime, O. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.science/hal-00523595v1
    • [82] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. In FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2005, Uppsala, Suède.
      https://inria.hal.science/inria-00368577v1
    • [83] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of Different Semantics for Time Petri Nets. In 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), octobre 2005, Taiwan, Taïwan.
      https://inria.hal.science/inria-00368580v1
    • [84] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?. In 25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), décembre 2005, Chennai, Inde.
      https://inria.hal.science/inria-00368578v1
    • [85] F. Cassez, A. David, E. Fleury, K. Larsen, D. Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games. In 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, états-Unis.In Martín Abadi, Luca de Alfaro (éds.), Concurrency Theory. Springer, 2005.
      https://hal.science/hal-00350475v1
    • [86] D. Lime, O. Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. In The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal.
      https://hal.science/hal-00523591v1
    • [87] O. Roux, D. Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italie.In Springer (éds.), The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04). , 2004.
      https://hal.science/hal-00523590v1
    • [88] D. Lime, O. Roux. Expressiveness and analysis of scheduling extended time Petri nets. In 5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal.
      https://hal.science/hal-00523586v1
    • [89] D. Lime, O. Roux. State class Timed Automaton of a Time Petri Net. In The 10th International Workshop on Petri Nets and Performance Models, (PNPM'03), 2003, Urbana, états-Unis.
      https://hal.science/hal-00523588v1

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [90] G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, D. Lime. UPPAAL-Tiga: Timed Games for Everyone. In Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Islande.
      https://hal.science/hal-00350470v1

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [91] O. Roux, D. Lime. Modélisation des Systèmes Réactifs -- Special Issue in French of the European Journal of Automation (JESA), 43(7-8-9). 11-2009
      https://hal.science/hal-00523944v1

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [93] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. Rapport technique, 2015 ; LINA-University of Nantes, Ecole Centrale de Nantes (ECN), LIPN.
      https://hal.science/hal-01219823v1
Copyright : LS2N 2017 - Mentions Légales - 
 -